Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 10.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000297 | Pascal Fontaine [France] ; Thomas Sturm [Allemagne] ; Uwe Waldmann [Allemagne] | Foreword to the Special Focus on Constraints and Combinations |
| 000427 | Martin Bromberger [Allemagne] ; Thomas Sturm [Allemagne] ; Christoph Weidenbach [Allemagne] | Linear Integer Arithmetic Revisited |
| 000452 | Thomas Sturm [Allemagne] | Subtropical Real Root Finding |
| 000516 | Hassan Errami [Allemagne] ; Markus Eiswirth [Allemagne] ; Dima Grigoriev [France] ; Werner M. Seiler [Allemagne] ; Thomas Sturm [Allemagne] ; Andreas Weber [Allemagne] | Detection of Hopf bifurcations in chemical reaction networks using convex coordinates |
| 000673 | Marek Kosta [France] ; Thomas Sturm [Allemagne] | A Generalized Framework for Virtual Substitution |
| 000811 | Marek Kosta [France] ; Thomas Sturm [Allemagne] ; Andreas Dolzmann [Allemagne] | Better Answers to Real Questions |
| 000A63 | Konstantin Korovin [Royaume-Uni] ; Marek Kosta [Allemagne] ; Thomas Sturm [France] | Towards Conflict-Driven Learning for Virtual Substitution |
| 000A68 | Marek Kosta [Allemagne] ; Thomas Sturm [France] ; Andreas Dolzmann [Allemagne] | Better Answers to Real Questions |
| 001026 | Hassan Errami [Allemagne] ; Markus Eiswirth ; Dima Grigoriev [France] ; Werner Seiler [Allemagne] ; Thomas Sturm [France] ; Andreas Weber [Allemagne] | Efficient Methods to Compute Hopf Bifurcations in Chemical Reaction Networks Using Reaction Coordinates |
| 001512 | Ralf Karrenberg [Allemagne] ; Marek Košta [Allemagne] ; Thomas Sturm [Allemagne] | Presburger Arithmetic in Memory Access Optimization for Data-Parallel Languages |
| This area was generated with Dilib version V0.6.33. |  |